/*
 * @ : Copyright (c) 2021 Phytium Information Technology, Inc. 
 *  
 * SPDX-License-Identifier: Apache-2.0.
 * 
 * @Date: 2021-07-09 08:08:39
 * @LastEditTime: 2021-09-06 15:00:17
 * @Description:  This files is for 
 * 
 * @Modify History: 
 *  Ver   Who        Date         Changes
 * ----- ------     --------    --------------------------------------
 */
#include "sdkconfig.h"
#ifndef SDK_CONFIG_H__
    #warning "Please include sdkconfig.h"
#endif
#include "parameters.h"
#include "ft_types.h"
// #include "gicv3.h"
#include "interrupt.h"
#include "shell.h"
#include "psci.h"

static int inline_start(int argc, char *argv[])
{
    PsciCpuOn(1<<3,0xa0100000) ;
    while(1) ;
}

SHELL_EXPORT_CMD(SHELL_CMD_TYPE(SHELL_TYPE_CMD_MAIN), inline_start, inline_start, inline_start);

int main()
{

#ifdef CONFIG_UART_DRIVER_TEST
    extern void TestUart();
    TestUart();
#endif

#ifdef CONFIG_SHELL_START_UP_TEST
    extern void TestLetterShell();
    TestLetterShell();
#endif
    return 0;
}